Formal Verification Issues For Component-Based Development
نویسندگان
چکیده
منابع مشابه
Formal Verification of Component-Based Software Systems
In this work we present a methodology for formal modeling and verification of component based software systems. The methodology is based on software architecture, components, and reuse of Petri Nets models. With this process, we are contributing for the visual composition, verification, and formal validation of software. We also show an example of the application of this methodology into two di...
متن کاملFormal verification of component-based designs
Embedded systems are becoming increasingly common in our everyday lives. As technology progresses, these systems become more and more complex, and designers handle this increasing complexity by reusing existing components (Intellectual Property blocks). At the same time, the systems must fulfill strict requirements on reliability and correctness. This paper proposes a formal verification method...
متن کاملUsing Message Sequence Charts for Component-Based Formal Verification
Message sequence charts (MSCs) are are a popular tool to informally explain the behavioral embedding of a component in its environment. In this paper we investigate if MSCs can also serve as a speci cation and reasoning technique for the composition of systems from components. We identify three challenges: (1) Semantic Duality: MSCs express global coordination properties as well as requirements...
متن کاملFull formal verification for component vendors
Software developers have varying abilities and develop software with differing reliability requirements. Sometimes reliability is critical and the developers have the mathematical capabilities to perform interactive theorem proving but this is not usually the case. We believe that most software developers need easy to use tools such as run-time assertion checkers and extended static checkers th...
متن کاملFormal Verification of a Ubiquitous Hardware Component Formal Verification of a Ubiquitous Hardware Component
The paper begins by discussing various approaches to hardware specification and verification. The main emphasis is on using mechanical verification tools to assist the verification process. The case study is the verification of a seven-segment LED display decoder circuit design, in which two popular verification tools, HOL and PVS, are compared and evaluated.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Informatica
سال: 2020
ISSN: 1854-3871,0350-5596
DOI: 10.31449/inf.v44i4.3152